propeller solidity